Cul3<tm1.1Arte> http://identifiers.org/mgd/MGI:5752857 MGI:5752857 CUL3<delta403-459> targeted mutation 1.1, TaconicArtemis